.theme-default-content pre, .theme-default-content pre[class*="language-"] {
  padding: 16px;
}
div[class*="language-"] .highlight-lines {
  line-height: 1.37;
}
